潜水泵是谁发明的