Marinated Pork With Thai Herbs