Okras cooked with onions and tomato sauce