Is ISIS defeated? If not, are U.S. troops in Syria the answer?