Choctaw, Oklahoma and eastern Oklahoma County : a history : a centennial celebration of people, places, and times, 1893-1993