Definition of "Dredger" :

noun: a barge (or a vessel resembling a barge) that is used for dredging