Who was the first Football player to get a red card in a World Cup final match?

This question does not have any additional details.

1 answer

First player ever to be sent off in a World Cup match was Peru's Mario de Las Casas against Romania in 1930