Operação policial deixa nove mortos no Rio