Elon out of Trump administration before July?

On February 17, the White House stated that Musk is a Senior Advisor to the President and an employee in the White House Office (see: https://www.courtlistener.com/docket/69638651/24/1/state-of-new-mexico-v-musk/). This market will resolve to “Yes” if it is announced that Elon Musk will leave the Trump Administration, or otherwise ceases to be a member of administration by June 30, 2025, 11:59 PM ET. An announcement of Musk’s resignation/removal before this market's end date will immediately resolve this market to "Yes", regardless of when the announced resignation/removal goes into effect. The Trump administration includes individuals formally appointed 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. Changes to Musk’s position within the Trump administration (e.g. if he is named administrator of DOGE), will not qualify for a “Yes” resolution. The primary resolution source will be official information from the Trump administration, however a consensus of credible reopening may also be used.