Who served as a leader of the allie forces in europe during world war ii and was elected president in 1953?