Will Ron DeSantis be appointed as the next Florida senator?

This market will resolve to "Yes" if Ron DeSantis is appointed as a U.S. Senator for Florida as a replacement for Secretary of State nominee Marco Rubio by June 30, 2025, 11:59 PM ET. Otherwise, this market will resolve to "No". This market will resolve based on the first individual appointed to replace Rubio as U.S. Senator for Florida - if another person is appointed this position first, this market will immediately resolve to "No". If Marco Rubio does not resign by June 30, 2025, 11:59 PM ET, this market will resolve to "No". The primary resolution source for this market will be official information from the US government, however a consensus of credible reporting may also be used.