États-Unis vs Corée, République populaire démocratique de