okra washed, dried, and cut in half lengthwise