Roasted Pork Tenderloin, Mashed Potato Ham