In a report published in 2016, Human Rights Watch reported that police in the state of Rio de Janeiro had killed more than 8,000 people in the last decade. This …