Al menos 25 muertos en una operación policial en una favela de Río de Janeiro