I've only ever heard it called Okra and only ever seen it sold in markets,grocery shops and supermarkets as Okra.