Pork Tenderloin with Mashed Potatoes