Más de 3.000 militares y policías brasileños realizan operación en favela de Rio