rtokens: The Carl Vinson leads a battle group that includes seven other ships , and there are nine other U.S. ships in the Gulf for a total of 20 .
pos: JJS IN DT NNPS VBP IN CD NNS IN DT NNP NNP NN NNP .
tokens: Most of the Marines are on three ships in the Tarawa Amphibious Readiness Group .
ltokens: The 23,000 U.S. military people already in the Gulf consist of 15,000 sailors and Marines , 6,000 U.S. servicemen based primarily in Saudi Arabia and 2,000 U.S. troops in the area for military exercises .