A pond is dredged.
