Kalshi and Interactive Brokers launched regulated presidential prediction markets a month before Election Day, but they are smaller than Polymarket's.