pork tenderloin with mashed potatoes