Choctaw Lake may refer to: