https://www.amazon.com/gp/product/B0BW8T24GD/ref=ox_sc_act_title_2?smid=A2ALLIRJWD0RCV&psc=1

This DC-DC converter is made by the same OEM as BixPower for those who cannot find a BixPower converter.

Since I cannot find a USB-C version, I settled for this adaptor, which is PD-20V capable:

https://www.amazon.com/gp/product/B0BWF2WM1H/ref=ox_sc_act_title_3?smid=A69X5KMJHM850&th=1