pork tenderloin marinade in a pan with rosemary garnish