Will Trump issue an executive order on February 17?

This market will resolve "Yes" if Donald Trump signs an executive order on February 17, 2025. Otherwise, this market will resolve to "No". Executive actions will not qualify toward this market’s resolution. This market will immediately resolve "Yes" if the text of an executive order for the given day is published on the White House page for presidential actions (https://www.whitehouse.gov/presidential-actions/) or the White House press pool. Mere announcements will not qualify. If no executive order is published by 12:00 PM ET the day after the listed date of this market, this market will resolve to “No” In the case of ambiguity this market will use the federal register as the resolution source (https://www.federalregister.gov/presidential-documents/executive-orders).