Doesn't Rio have a Worker's Party mayor after Bolsonaro's guy lost? In no place in the article does it mention if the police were city police or what kind of police.