Reminder: Korea is the most advanced economy in East Asia