“Saudi Arabia, Qatar, and Oman have favored a negotiated diplomatic solution to the conflict over the Strait of Hormuz.”