Will the margin of victory for Democrats in the Florida's 23rd District House election be at least 11 percentage points?

If the Democratic Party wins the 2026 U.S. House of Representatives election in Florida's 23rd District by 11 percentage points or more, then the market resolves to Yes. The margin of victory shall be calculated as follows based on the margin type. For percentage points: the vote percentage received by the Democratic Party minus the vote percentage received by the candidate/party/option that finishes immediately behind the Democratic Party if the Democratic Party wins, or the candidate/party that finishes first if the Democratic Party loses. Each margin range is inclusive of its lower bound and exclusive of its upper bound. No rounding shall be applied to the calculated margin. For example, for consecutive ranges of 5-6% and 6-7%, a margin of 5.99999% resolves within the 5-6% range, while a margin of exactly 6% resolves within the 6-7% range. If the Democratic Party runs under multiple parties or is listed multiple times, votes attributable to the same underlying natural the Democratic Party will be summed. If the Democratic Party wins the election, the margin will be positive. If the Democratic Party loses the election, the margin will be negative. If the Democratic Party ties for first place, the margin shall be 0. For uncontested races where the Democratic Party is the only candidate, the margin shall be 100 percentage points or the total number of votes cast (for raw votes).