duplex pump [pl. duplex pumps]