It's a tough one. You can argue that, under the current rules, it should only have been a yellow, but it's all down to interpretation and I'd have been surprised if a VAR panel would have overturned the red card. His foul against Man City should unquestionably been a red instead of a yellow, though.