Worst case, they should probably determine when the dispute says the market should have resolved to "yes", and refund all bets made after that date, and resolve the market at the last traded price on the supposed resolution date.