Correspondent Barak Ravid says, citing an official, that US Navy ships will be ‘in the vicinity’ to prevent a possible Iranian attack on commercial ships moving through the strait