Interesting! the part of the world where i come from, it's called "OKRO" and we use it to make soup. We chop it or marsh it, garnish it with all sort of beef, stock fish, snail, chrimps and then spice it up accordingly. So delicious and has awesome aroma. Guess, this knowledge as regard your post is an additional for me.
RE: Okra and ground beef with rice and beans.