Roast Pork Tenderloin with Smashed Potatoes (For One)