Korean-Style Pork Tenderloin