It was not that long ago that whether to formally end the Korean War or not was the subject of spirited debate. Like, a few years ago. You guys telling me the War is actually over should have told them they didn't need to waste their time.