How does Lake Texoma rank in size?

Lake Texoma is the 12th largest lake in the United States.