What are the circumstances regarding naming the Benton camp as Camp Texas? I have not seen any references to this name for this particular location.

I presume that this was the same camp previously referred to as #48.