In Rio de Janeiro, 25 people were killed during a police operation