Roasted Pork Tenderloin, Mashed Potato Mustard