Did you physically the gas and diesel pumps? There might be just a pulley difference.

ZF , Vickers and a few others make PS pumps so finding a pump from another car maker is a possibility. I'd start off by looking at seal kits to determine likely candidates.