As season closes, Texas shrimp industry battles hostile trends