How much to enlarge and dredge a pond