RHR service water booster pump