Pork Tenderloin, Spanish Style with Peppers and Olives, Thyme for Cooking.

Ingredients

• 1 pork tenderloin, 12oz (360gr)
• 1/2 green bell pepper
• 1/2 red bell pepper
• 1 onion
• 2 cloves garlic
• 1 medium - large carrot
• 1/2 cup olives, pimento stuffed
• 1 tsp dried basil
• 1 tsp dried marjoram
• 1/4 (2oz, 60ml) cup white wine
• 1/4 (2oz, 60ml) cup chicken stock
• 2 tbs white Balsamic vinegar
• 1 tbs olive oil
• 2 tsp cornstarch dissolved in 1 tbs water