Nordkorea trauert um Machthaber Kim Jong Il