The Orange Leader (Orange, Tex.), Vol. 34, No. 165, Ed. 1 Tuesday, July 15, 1947, newspaper, July 15, 1947; (https://texashistory.unt.edu/ark:/67531/metapth308464/m1/6/: accessed July 17, 2024), University of North Texas Libraries, The Portal to Texas History, texashistory.unt.edu.; .