20180731 world.rest-of-world: Rival Koreas' generals discuss easing military confrontation