Example #2: How to pump water from a mine