Onko Pohjois-Korea käynyt sotaa?