Lime-cooked shrimp served with avocado and pico de gallo