Cooking fresh shrimp for shrimp cocktail