Crunchy pickled okra