At the Hanoi summit, Trump and Kim Jong Un may declare the Korean War over. Does it still matter?

The signing took all of 10 minutes.

Neither man uttered a word as they inked nine documents agreeing to halt more than three years of brutal fighting.

• Victoria Kim
• Los Angeles Times

When it was done, the American and North Korean generals exchanged one long, cold stare before leaving the room.

It was July 1953.

U.S. 8th Army commander Gen. Maxwell D. Taylor reminded reporters the war wasn’t yet over.

The cease-fire agreement was “just a suspension of hostilities, which may or may not be preparatory to permanent peace,” he said at the time.

Taylor died in 1987, the same year as Lt. Gen. William K. Harrison, who…