Will Russia capture Lyman by...? | Polytreasury: Prediction Market Automation