Sautéed Okra with onions and tomatoes