pork tenderloin with mashed potatoes and gravy