Okra braised with tomatoes and plenty of onions; this North Indian speciality is seasoned with ginger, garlic, coriander and cumin seeds.
