pork tenderloin in tequila

Ingredients

• 1/4 cup prepared mustard
• 2 pounds pork tenderloin
• 1/4 cup vegetable oil
• 2 - cloves garlic, cut in half
• 1/4 cup carrot, chopped
• 1/4 cup celery, chopped
• 1/4 cup lime juice
• 1/4 cup tequila
• 1 tablespoon red chiles, ground
• 1 teaspoon salt
• 1 teaspoon dried oregano leaves
• 1 teaspoon dried thyme leaves
• 1/4 teaspoon pepper
• 4 cups tomatoes, chopped
• 1/4 cup onion, chopped
• 1 - bay leaf
• 1/4 cup snipped fresh parsley