In bituminous coal mining, a person who works a hand pump to force water, accumulated underground in low places, into a drainage ditch flowing to a natural outlet or pumping station.