Roasted Pork Tenderloin With Garlic

1 (2 lb) boneless pork loin 2 garlic cloves , thinly sliced 3/4 cup coarse grain Dijon mustard 2 tablespoons herbes de provence (or Herbes De Napa ) 1 1/2[...]

1 lb pork tenderloin 12 ounces fresh white mushrooms , sliced (about 4-1/2 cups) 2 cups tomatoes , cut in 1 inch cubes 1 tablespoon olive oil 2 teaspoons[...]