Commentary: South Korea’s next export boom won’t be chips or K-pop