Interesting that some Seoul Maritime frequencies are still in use since this March 1979 Speedx listing:
HLF 4273, 6344, 8484, 12916.5, 17079, 22395
HLJ 8497, 12727, 16910
HLG 4308, 6451, 8473, 12935, 17118, 22482
HLO 8577, 12843, 16990
HLW 8636, 13005.5, 17130
HLW2 12923
HLW3 12712
HLX 13028
Could not find: HLJ 12727kHz, HLW 13005.5kHz, HLW3 12712kHz, or HLX 13028kHz but of course that's a very old list.