pickled okra, thinly sliced