pumpman

noun1

1. •
   A man employed to operate a pump, as in a mine.

   • This engine, and the branch engine, were washed out regularly after six days' work by the pumpman (but not on a Monday) the spare engine being used to cover their normal duties on such occasions. — 1952