tenderloin with mashed potatoes: 1 recipe