La Sal del Rey, or, The king's salt : the celebrated Texas salt lake : soda ash, what is it? an inquiry