dollars have been spent on counter-terrorism by the U.S. Government so far this year.