Corpus Christi's water supply is running out, and Gulf Coast industry should be paying attention