garlic-shallot marinated pork tenderloin