Should pork tenderloin have red juice?