Ukraine agrees not to join NATO by June 30? | Polytreasury: Prediction Market Automation