The Demilitarized Zone runs northeast of the 38th parallel; to the south, it travels west. Was there ever an official peace treaty after the war?