Roasted pork tenderloin with peppercorn sauce, roasted baby potatoes, mixed roasted veggies