Will Trump issue an executive order on February 4?

This market will resolve "Yes" if Donald Trump issues and signs an executive order on February 4, 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 remain open until 11:59PM ET of [day+7] until it is either confirmed or denied by the federal registrar, the White House or a consensus of credible reporting.