Os nomes gravados nas paredes de um novo museu na Coreia do Norte oferecem uma pista importante sobre o número de norte-coreanos mortos no conflito europeu.