Okra gumbo with ham