North Korea: Does nullifying the 1953 Korean armistice mean war?