Recipe for pork tenderloin