So a standard HP plug. Try a 90W charger?
https://store.hp.com/us/en/pdp/hp-90...g6h45aa-aba--1 or to save a bit on weight,
https://usb.brando.com/acbel-ultra-s...c0046d015.html AcBel has a surprisingly small and light 90W and it's two prongs which makes it significantly easier to convert internationally.