¿Hasta qué año duró la Guerra de Corea iniciada en el 1950?