How to diagnose and fix a pond leak