Trump and Kim Could Declare an End to the Korean War After Seven Decades. How Are the U.S. and North Korea Still at War?