20170622 business.international-business: U.S. Cash Crude-Gulf crude prices mixed as traders shrug off storm threat