U.S. warships cross Strait of Hormuz for first time since Iran war began