As ISIS fight in Syria heats up, more US troops could be needed