Oven Roasted Pork Tenderloin

Name: Oven Roasted Pork Tenderloin
Ingredients: 1 lb. pork tenderloin ((480-500 g)); 1.5 teaspoons salt; ½ teaspoon pepper; 1 teaspoon garlic powder; 1 teaspoon paprika powder; 1 teaspoon coriander seed powder; 1 teaspoon dried thyme (or mixed herbs); ½ teaspoon cinnamon; 2 medium white potatoes (or sweet potatoes, diced into small cubes); 7 oz Brussels sprouts (cut in halves (200 g.)); 7 oz fine green beans (tails cut off (200 g)); 2 tablespoons olive oil; A little salt; ½ cup orange juice; 1 tsp orange zest; 1 tablespoon lemon juice; 1 teaspoon mustard; 3 tablespoons maple syrup; 1 oz butter (about 1.5 tablespoons or 25-28 g); A pinch of salt