US Shutdown Bet Highlights Prediction Market Risk