Police in Brazil likes to give interesting names to their operations. But I don’t think they know what that order means, because they’re going after car thieves.
The Federal Police likes to make those fun names, yes. But "police" usually refers to state police, and the DF military police really don't know what makes a good name.
But maybe they arrested somebody that named themselves "Jedi".