“European leaders are considering a military demining mission in the Strait of Hormuz, contingent on the durability of the U.S.-Iran peace deal.”