No Marco Rubio replacement as Florida senator?

This market will resolve to "Yes" if no individual 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 someone is appointed this position, 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 "Yes". 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.