News of the planned summit between President Donald Trump and North Korean leader Kim Jong Un sent shockwaves around the globe. But in North Korea — as of Monday, several days after the announcement — not a word about it had been reported by the state-run media.