Asian-style Pork Tenderloin