File:200px-Map of Oklahoma highlighting Choctaw County svg.bmp