Greek okra and tomato sauce