Thomas Walsh — American miner (1850–1910)