Operación policial en favela de Río de Janeiro deja al menos 25 muertos