I've just seen some news reports about tankers being attacked in the Gulf of Oman this morning, apparently 2 ships damaged.