Texoma, Lake. Authorizing naming of lake formed by waters of Red River impounded by Denison Dam [said lake to be known as Lake Texoma], report to accompany H. R. 5338; submitted by Mr. Whittington.