If physical construction work on federal border security infrastructure inside Big Bend National Park resumes after Issuance and before Dec 1, 2026, then the market resolves to Yes.