south korea working to formally end the korean war. yes, that korean war.