“...Radio Korea International, KBS...”