Bitcoin Up or Down on October 17: Prediction Markets & Odds