Trump issues 100+ Executive Orders orders on Day 1?

This market will resolve to “Yes” if Donald Trump as US President issues and signs 100 or more 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.