“The U.S. is deploying 6,000 personnel with the George H.W. Bush aircraft carrier strike group and over 4,000 with the Boxer Amphibious Ready Group to the Middle East.”