RIO DE JANEIRO - De politiestaking in de Braziliaanse stad Rio de Janeiro is maandag beëindigd. Eerder werd gevreesd dat agenten ook tijdens het wereldberoemde carnaval, dat over enkele dagen van start gaat, het werk zouden neerleggen en dat de veiligheid in het geding zou komen.