20170517 business.international-business: US stocks: Nasdaq notches new high but S&P 500 slips