US Troops Need to Stay in Syria to Counter ISIS, Austin Says