Shrimps with Chili and Mangoes

Ingredients

• 20 raw jumbo shrimps (peeled, about 230 g in total)
• 3-4 green onions
• 1 1 inch piece fresh root ginger
• 1 clove garlic
• 1 small hot, fresh red chili
• 2 mangoes
• 2 tsp tomato purée
• 1 tbsp soy sauce
• 2 tbsp medium sherry
• 1/2 tsp toasted sesame oil
• 4-6 red oak-leaf or other looseleaf lettuce leaves
• 2 tbsp peanut oil
• salt and black pepper