Bei einem Polizeieinsatz in einem Armenviertel der brasilianischen Metropole Rio de Janeiro sind mindestens 13 Menschen getötet worden. Insgesamt 14 Menschen aus drei Favelas seien am Freitag mit Schussverletzungen in ein Krankenhaus gebracht worden, 13 von ihnen seien gestorben, berichteten die Gesundheitsbehörden.