Will Elon Musk buy Ryanair? | Polytreasury: Prediction Market Automation