20171020 business.international-business: Wall Street pauses after record highs; tech a drag