Hi,
Sorry about freq., I listen on vintage tube radios with only
approximate display!

Radio Korea International
Pyongyang
Saturday morning July 4th.
09:30-09:58 GMT (03:55 AM Pacific Daylight Time)
Somewhere close to 11.55 MHz
SINPO 35343

Announcer read the entire English schedule for the North Korean SW
station shortly before signing off, the schedule was read from 09:56
to 09:58 GMT.

I didn't have recorder handy, but...

....if this time slot is daily feature, then here could be a place to
hear their up to date schedules during this missile crises.

From 09:30-09:50 a Korean patriotic opera was heard where soloists and
choir sing praises to current socialist government with announcer
commenting (favorably) in English between each passage.