Pork tenderloin marinated in aromatic herb sauce