Mike's Pickled Okra