Trump embraced the gambling industry for decades. Now he's hedging his bet on prediction markets.