Pork tenderloin cooked in pan, served with mashed potatoes and mushrooms