20171011 business.international-business: Wall Street touches record high; helped by Wal-Mart