Royal IHC making dredge pumps more and more efficient - Dredging Today