Hot Chili Shrimp

Ingredients

• 5 tablespoons tomato ketchup
• 2 tablespoons soy sauce
• 1 tablespoon sugar
• 2 teaspoons cornstarch
• For the shrimp
• 2 tablespoons vegetable oil
• 6 large garlic cloves, chopped
• 3 red chilies, chopped
• 1 tablespoon fresh gingerroot, chopped
• 10 ounces raw jumbo shrimp, de-veined and shells removed
• 7/8 cup boiling water
• 1 tablespoon lime juice
• 2 scallions, shredded
• 4 tablespoons cilantro leaves, chopped