Mario Rui’s red card