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