Roast Pork Tenderloin and Mushroom Dinner