A lot of red cards were handed out in Cruzeiro’s win over Atlético-MG, but it’s nowhere near the world record.