However, if the shrimp is not labeled as Gulf-caught, the restaurant is only required to disclose its country of origin if a ...