city in and county seat of Coke County, Texas, United States
via Wikipedia infobox
Robert Lee is a city in and the county seat of Coke County, Texas, United States. Its population was 1,027 at the 2020 census.
History
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).