Thai garlic pork tenderloin