Cooking pork tenderloins