Trump says U.S. to cut Iraq troops to about 2,000 in ‘very short’ time