What do you call a retired miner?

Doug