¿Por qué la radio Corea del Norte emitió series de números sin sentido antes de los JJ.OO.?