gear pump distributor