Will President Trump attend the NBA Finals? | Polytreasury: Prediction Market Automation