Sounds official, I mean it had an official operation name and everything. They did the jobs they were assigned and succeeded all the way through to the arrest. Why would they get punished for doing their jobs!? That’s our federal agencies in a nutshell.