Cooking shrimp in lime juice