The Collaborative International Dictionary of English v.0.48:

Hogger-pump \Hog"ger-pump"\ (h[o^]g"g[~e]r-p[u^]mp`), n.
   (Mining)
   The top pump in the pit. --Raymond.
   [1913 Webster]