Pork Tenderloin with Mashed Potatoes

Roasted pork tenderloin with a decadent creamy onion gravy served over mashed potatoes.