On amazon you can get something called a "Helmet Lock". These are aimed at motorcyclists but they look like they might be usable for locking a bike to a pole. Has anybody tried one?

​

Something like this:

https://www.amazon.com/ACECYCLE-Security-Resettable-Motorcycle-Extra-Long/dp/B08R1K2B33/