NBC: The number of U.S. troops in Syria has doubled, Pentagon discloses