Okra in Tamarind Gravy