Yellow or red? Vinícius roughly pushed RB Leipzig player

On Wednesday, March 6th, a pivotal match unfolds at the Santiago Bernabéu between Real Madrid and RB Leipzig.

At the onset of the second half, the scoreboard displayed a deadlock at 0:0. However, another rather contentious moment ensued. In the 54th minute, Vinícius Júnior collided with the defender of the German contingent, Willi Orban, and subsequently, engaged in rough play, thrusting an opponent's player in the throat. The referee brandished a yellow card to the Real Madrid winger for this infraction.

In your opinion, is this deserving of a yellow or a red card for the Brazilian winger?