Strong demand keeps Gulf shrimp prices at record levels as imported prices ease