Vegetarian gumbo with okra