“European leaders are considering a military demining mission in the Strait of Hormuz, but only after they understand the details of the U.S.-Iran peace deal.”