What comes next for the devastated city -- and for ISIS

US-backed forces in Raqqa said Tuesday that major military operations against ISIS had ended as they worked to clear out the remnants of sleeper cells and mines in the ruins of the Syrian city.