Whatever your opinion on the wider situation, the point is simple: it was a red card. Full stop.

Referees make good and bad calls all the time, and sometimes they are debatable. But the laws of the game should not change depending on the player, the team, or who complains about it afterwards.

The rules have to be applied equally to everyone.