dredger (n.)

c. 1500, "one who works or makes use of a dredge," agent noun from dredge (v.). As "boat employed in dredging," from c. 1600.