Dredger’s costs