A player is shown a direct red card during penalties (penalty shoot-out). What is the correct procedure?

THE DECISION

The player is sent off and the opposing team must withdraw one player as well. The referee must be informed which player is being withdrawn.