How to dredge around a dock using a pump