Cyber intelligence agents helped defeat IS