ISIS defeated in ar-Raqqah