20170518 business.international-business: Halliburton CEO to retire next month; be replaced by Jeff Miller