Miguel Díaz-Canel out as leader of Cuba by...? | Polytreasury: Prediction Market Automation