At least 7 killed in police operation in Rio favelas

Brazilian police officers launched a major operation across several favelas in Rio de Janeiro on Tuesday, saying they killed at least seven "criminals" during clashes.