Southern Indian Vegetable Curry with Curry Leaves

Name: Southern Indian Vegetable Curry with Curry Leaves
Ingredients: 2 tablespoons olive oil; 1 teaspoon mustard seeds; 2 fresh green chillies, deseeded and chopped; A bunch of curry leaves; 2 onions, peeled and shredded; ½ teaspoon ground coriander; A pinch of ground cumin seeds; ½ teaspoon garam masala; ¼ teaspoon turmeric; ¼ teaspoon chilli powder; 6 tomatoes, chopped; 2 sweet potatoes, peeled and cubed; 2 potatoes, peeled and cubed; 1 aubergine (eggplant), cubed; ½ cup coconut milk; A handful of haricots verts (green beans); A handful of peas; A handful of okra, sliced; Sea salt and freshly ground black pepper