In the flooded coal mines of early 18th-century England, workers faced a problem that no amount of muscle could solve. Dig deep enough for coal, and water seeps…