despliegue militar en corea del norte