Vegetable curry with okra