Coke County (English, name)
expansion: Coke County
Senses:
glosses: One of 254 counties in Texas, United States. County seat: Robert Lee.
Forms: