dredging-machine

DREDGING-MACHINE, n. An engine used to take up mud or gravel from the bottom of rivers, docks, &c.