Come Sept. 1, anyone ordering a dish in a restaurant in Texas that contains gulf shrimp or domestic shrimp can do so in ...