Some 9,000 more U.S. forces head for the Middle East as Trump vows the war will end “right after the election,” if not sooner.