Choctaw Lake (English, name)
expansion: Choctaw Lake
Senses:
glosses: A census-designated place in Madison County, Ohio.
Forms: