Artificial Intelligence for Counterterrorism?