If Donald Trump has taken any signed executive action renaming the Strait of Hormuz to any different name after Issuance and before Oct 1, 2026, then the market resolves to Yes.