CENTCOM: ISIS members were killed in an operation at Al-Hol Camp