cooked okra-and-tomatoes