Brasil: terminó la intervención militar de Río de Janeiro con un saldo de más de 1200 personas muertas por la policía