Christmas herbed pork tenderloin