Roast Pork Tenderloin with Smashed Potatoes (Paleo)