Un alto funcionario militar norcoreano fue ejecutado por des