THAI-SPICED PORK TENDERLOIN WITH ORANGE CURRY