Coreia do norte lamenta a morte de kim yong nam, chefe de estado cerimonial