Difference between pump pipe and dredge line