Obama: U.S. ground troops in Syria would be a mistake