20180708 world.rest-of-world: Leaders of rivals Ethiopia; Eritrea finally meet