US marines board commercial tanker in Gulf of Oman US marines board commercial tanker in Gulf of Oman