Mattis: U.S. would 'probably regret' not keeping holding force in Syria