20160211 world.rest-of-world: North Korean leader Kim had his military chief executed