pumpman (pump + -man): A man employed to operate a pump, as in a mine