How to dredge a pond by hand