Will the U.S. invade Venezuela by...? | Polytreasury: Prediction Market Automation