Thai-roasted Red Pork