PYONGYANG, Korea, Democratic People’s Republic Of — With all the international attention focused on Singapore and the historic summit between President Donald Trump and North Korean leader Kim Jong Un, Pyongyang must be buzzing with excitement, right? Well, it might be, if anyone knew what was going on.