I think most people are taking exception to "brutal attack".
Yes, red card. It wasn't malicious. It was reckless. He had eyes only for the ball.
He backed his pace to get there first. Like he has done many times before. If he gets there fractionally earlier and gets to the ball and knocks it to the side, Ederson is the one who gets a red.

Definitely a send off. It was clear dangerous play. Was there intent? I don't think so.