After eight years, John Miller, head of counterterrorism for the NYPD, retired and left police headquarters for the last time. Credit: Craig Ruttle