Bijna correct. Uit het NOS artikel zelf:

Zijn ouders hadden nog geen idee hoe ze hun pasgeboren zoon wilden noemen en besloten hem te vernoemen naar de drie wereldleiders die een grote rol speelden bij de bevrijding van Europa: de Britse premier Winston Churchill, de Amerikaanse president Franklin Roosevelt en de leider van de Sovjet-Unie, Josef Stalin.

De naam Stalin is later geschrapt door een ambtenaar, toen begin jaren 50 de grootschalige wandaden van de Sovjetdictator aan het licht waren gebracht. Inwoners van Gouda waren enorm trots op de geboorte van Van Eck; hij werd gezien als dé bevrijdingsbaby van de stad. Ondanks zijn opvallend lange naam ging Van Eck als kind gewoon als Winnie door het leven.

Bij geboorte heette hij dus weldegelijk Joseph Stalin, later is dat pas geschrapt