Koch, Exxon determining how much gasoline (or was it diesel?) was spilled into a creek last week in Texas and which pipeline it leaked from