MARINATED PORK TENDERLOIN