The Washington Post quoted a US military official as saying that three boats belonging to Iran's Islamic Revolutionary Guard Corps (IRGC) approached two US military ships in Gulf waters "at dangerous speed" The official, who spoke on condition of anonymity, said the USS Sirocco and the USNS Choctaw County were in routine transit in international waters in the Gulf on Monday. Tensions have escalated in recent weeks between Iran on the one hand and the United States and Israel on the other, against the backdrop of a Western resolution condemning Tehran.