20171025 business.international-business: Dow stays near record high; European shares end mixed