How to pump water out of a hole