U.S. Election Betting: Regulated Presidential Markets Are Live, and Tiny Compared to Polymarket's Oct 4, 2024