Skillet Pork Tenderloin with Mustard and Smoked Paprika Recipe | Yummly