Gedung National Center for Korean Traditional Performing Arts.