Oriental Barbecue Pork Tenderloin