"of more than 6,400 police officers, federal agents, or other officials, operating" . . . . .