what is the name of machine that pumps sand out of river