US attacks Iranian oil tankers in Gulf of Oman