I’m unhappily surprised there is no provision for declaring an outcome invalid and reversing trades if a candidate fails to become President by virtue of untimely death or debilitation.

ForecastEx is the prediction market whose contracts will trade on Interactive Brokers.

data.forecastex.com/regulatory