Is the Gulf relieved or cautious as Trump and Iran declare Strait of Hormuz “fully open”?