Pork tenderloin with baby bok choy