Okra in a Savoury Sauce