Cooking frozen pork tenderloin