Operação de grande porte no Rio de Janeiro: identidade dos quatro policiais mortos em troca de tiros.