U.S. President Donald Trump said on Tuesday he would briefly pause an operation to help escort ships through the Strait of Hormuz, citing “great progress” toward a comprehensive agreement with Iran. Hours earlier, U.S. Secretary of State Marco Rubio had …

