Okra stir-fried with onions, tomatoes, and spices