John-

You seem to be on firm ground with regard to the fact the "Rio Grande" was a popular shanty by 1850.

I would also agree that few shantymen would have any clue of the origin of a shanty, other than who they learned it from. There is only speculation.

Charley Noble