to clean, deepen, dredge (irrigational channels or ponds)