Trump executive order cutting Department of Education by Friday?

This market will resolve to "Yes" if Donald Trump issues and signs an executive order reducing, eliminating or otherwise altering the budget, function, staff, or scope of the US Department of Education between February 3 and February 7, 2025, 11:59 PM ET. Otherwise, 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 will also be used.