Thai-Style Pork Tenderloin