Will Trump issue 15-19 executive orders on Day 1?

This market will resolve to “Yes” Donald Trump as US President issues and signs between 15 (inclusive) and 19 (inclusive) executive orders on January 20, 2025. Otherwise this market will resolve to “No.” The resolution source for this market is the the Office of the Federal Register (https://www.federalregister.gov/presidential-documents/executive-orders) however official information from the White House (https://www.whitehouse.gov/) may also be used. Only executive orders with issuance dates of January 20, 2025 will count for this market.