20170603 business.international-business: Wall Street shrugs off jobs report to hit records as tech leads