10,000-psi-pump