20180716 world.europe: EU official urges Trump; Putin not to destroy global order