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