Response from a friend in Brazil about that video:
> haven’t heard anything about it yet
> that is congress though, I can’t tell if the movement at the start is recent though
> but those are just police, not military
> here we have a police force that is known as the “military police”, but they’re not tied to the military proper, the police from the military is known as the army police
After reading Farce’s comment, I deleted it.