North Korea and South Korea just met to establish a top-level hotline