Quick Marinated Thai Pork Loin with Baby Corn & Mangetout