If Ron DeSantis visits the White House after Dec 9, 2025 and before Jan 1, 2027, then the market resolves to Yes. This means a physical visit to any of: The Executive Residence, the West Wing, the East Wing, the Eisenhower Executive Office Building, and all gardens, lawns, and outdoor spaces within the secured perimeter of the White House, including the Rose Garden and the South Lawn. The announcement must occur after Issuance and before Jan 1, 2027 and so must the actual visit. This market will close and expire early if the event occurs.