Estados Unidos vs Coreia, República Popular Democrática da