The Trump administration says prediction markets are something different. Do their users agree?