20170530 business.international-business: Sensex pauses after record-setting run