Will the U.S. invade Iran before 2027? | Polytreasury: Prediction Market Automation