Will Ron DeSantis be a member of the Trump administration?

This market will resolve to "Yes" if Trump wins the 2024 election and officially nominates or appoints Ron DeSantis to his administration by March 31, 2025, 11:59 PM ET. Otherwise, this market will resolve to "No". This market will immediately resolve to "No" if Donald Trump loses the 2024 US Presidential Election. The Trump administration includes individuals formally appointed or nominated by Donald Trump to roles within the U.S. federal government, such as Cabinet members, Executive Office staff, senior policy advisors, ambassadors, or White House staff whose appointments are publicly announced by official government channels. Nominations will qualify even if the individual is not confirmed. 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.