Gulf of Mexico commercial shrimp populations-trends and characteristics, 1956-59.