K-pop discovered by North Koreans despite restrictions — Trace