Open Question: How many gallons is 10,000 tons of water?