a platter with shrimp at a Galveston restaurant