. . . "A dredge is a device for scraping or pumping solid material from the bottom of rivers, lakes, and other bodies of fresh or salt water." . . .