Will Donald Trump sign an executive order on August 17?

This market will resolve "Yes" if Donald Trump signs an executive order on the listed date. 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 may remain open until it is confirmed by the federal register.