something broke, it might be the distributor as well, either the little tab broke off, or the gear is spinning on the shaft. A pump usually won't just stop pumping due to wear. It would be more gradual over a period of possibly a couple of years.