Were any US companies nationalized in whole in in part during WWII and, if so, how were they returned to the private sector later?