Garlic, pork mince, green beans, fish sauce and chili: a lovely rich Thai basil pork recipe! You will just adore this Thai pork stir fry!