Cooked Okra (from Fresh)