20160830 world.rest-of-world: North Korea publicly executes two officials