[tz] New Abbreviation needed for Asia/Pyongyang

Hi, I noticed in the 2015f tz database that the new Asia/Pyongyang zone for North Korea (now UTC+8:30) has the same abbreviation as Asia/Seoul. Both are noted as KST. Should the abbreviation for Asia/Pyongyang by changed to NKST, perhaps? Pardon if this issue has already been discussed, or if a new abbreviation has already been decided. I am new to the forum, thanks for understanding. --Greg Slayden Microsoft Corporation