Tamas Sulyok out as President of Hungary by...? | Polytreasury: Prediction Market Automation