Today in Korean history