shrimp marinated in lime juice, mixed with pico de Gallo, and pickled onion