Cooking shrimp with heads