ts80 (which I otherwise love) is extra silly, with usb-c but no PD standard, only QC3.
If you’re less adventurous, it’s possible to buy cables that go from USB-C PD to a DC barrel jack. I have a WEB-PDC001 cable that is programmed to negotiate 20V & maximum current. Works well with my TS-100.[*]
The manufacturer (WITRN) doesn’t really have a website but their official Taobao store for the newer PDC002 model is here (Chinese): https://item.taobao.com/item.htm?id=581798838923 - can also get them on aliexpress, banggood, etc.
[*] … but I am now thinking it might be time to make an Otter Iron!