If Pete Hegseth leaves (or announces he will leave) as Secretary of Defense before Aug 1, 2026, then the market resolves to Yes.