Точен ли был рынок ставок на выборы президента США?