To save the Mill Pond, dredge it