20170720 business.international-business: S&P; Nasdaq at records as Vertex rallies; IBM slips