How to make crisp pickled okra