Spain vs. Cabo Verde | Polytreasury: Prediction Market Automation