Trump: “La guerra de Corea terminó”