Will Trump issue an executive order on Day 13?

This market will resolve "Yes" of Donald Trump issues and signs an executive order on February 1, 2025. Otherwise, this market will resolve to "No". Executive actions will not qualify toward this market’s resolution. The resolution source for this market will be information from the US federal government (e.g. https://www.whitehouse.gov/, https://www.federalregister.gov/presidential-documents/executive-orders). Only executive orders with issuance dates of February 1, 2025 will count for this market.