That looks promising. By doing a little more searching specifically for "PD" chargers I found a compact, lightweight converter that might do the trick.

USB C Car Charger Socket 12V/24V USB Outlet
LENKRAD USB C Car Charger Socket 12V/24V USB Outlet, 45W PD Type C Dual USB Port with LED Voltmeter & Button Switch DIY Car Socket for Car Boat Marine Bus Truck
https://www.amazon.com/gp/product/B0BFCKMJ7N