SDF battle ISIS remnants in Syria's al-Tabqa