how many gallons of water in the gulf of mexico