Roast Pork Tenderloin with Smashed Potatoes (Gluten Free)