Full coverage of the markets and U.S. consumer-price index for May