疎水浚渫工事。