I bought a new power supply.
ALIENTEK DP100
Small DC power supply that works with USB PD.
Rated 30V,5A,100W
I bought it at Aliexpress for $53.
It is made in China, but the quality is good.
A review of the disassembly can be found at the X post in the link below.
https://x.com/magicarchtec/status/1713346352183410786?t=hKL2CBG5pgt8_fZrdBDADA&s=06
Compared to conventional DC power supplies, the size is less than 1/10.
The board is shielded and gold plated, and the coil is anti-vibration treated.
Many power supplies made in China are of questionable quality, but this DP100 seems to be safe to use.