20171012 business.international-business: U.S. Gulf edible oil prices - Oct. 11