Nine U.S. warships carrying 17,000 personnel entered the Gulf on Wednesday in a show of force off Iran's coast that navy officials said was the larges