The Attack on Two Oil Tankers in the Gulf of Oman