HiLetgo 5pcs DC-DC Buck Step Down Module 6-20V 12V/20V to 5V 3A USB Charger Module

I see. Well in the spirit of DIY electronics, you could buy a 12V-to-5V USB adapter and solder the old pump wire to the adapter. You can get voltage converters easily online or in electronics stores, or you can grab one that is made to charge a phone in your car in any gas station, and take that apart. eg:https://www.amazon.com/HiLetgo-DC-DC-Module-Charger-Arduino/dp/B01HXU1C6Uhttps://www.amazon.com/MOSWAG-Charger-Cigarette-Lighter-Charging/dp/B0DG2TQ4R9 Again, just be sure it can supply at least 1 amp. More is fine, less is not.