stewed okra-and-tomatoes