picled okra recipe calls for 1 cup of 90 grain vinegar, what is this vinegar?