Dredging history of the river Waal and expected future dredging works