Three U.S. warships.Four thousand American troops.