New warning to Iran: Nine U.S. warships enter Gulf waters