Miner, Benjamin Franklin, b.1834.