The news comes as the U.S. is engaging in its largest daytime assembly of warships in the Gulf since the invasion of Iraq. Earlier today nine U.S. warships carrying 17,000 servicemembers entered the waters off Iran’s coast.