Resolving US-North Korea tension requires a formal end to Korean War

The Hill