Besides playing and coaching competitively until I was 64, I was also an official. Though in accordance with the letter of the law, that play would rarely be a red card. Like in American football when an official calls a rarely penalized , as the announcers say, "a ticky tacky call"....that's what that was. In just about every game, you'd be sending numerous players off if the interpretations was so strict. Soccer is a very physical sport, especially at the world class level.
Bull poop call, in my opinion. Warning or yellow at the worst.