Anteriormente se había nacionalizado estadounidese (1948).