Okra sautéed with onions, tomatoes, and spices