I was wrong on one thing: Ives first recorded the song, not for Decca, but for Columbia. Here's what I've gleaned from discographic refs on the net:

"Pueblo Girl" was probably first released on 78 rpm in the late 1940s. It first appeared on LP on the album "More Folksongs," Columbia CL-6144, released in 1950. It was later re-released on the LP Ballads (T-302) and on COL RTR-0323-4, also on the budget label Harmony (HAR11275), and another version was done on United Artists LP UAL-3060, 1959.

It is currently available in Britain on a CD compilation, Burl Ives: Troubadour, Original Recordings 1941-50. See

http://www.naxosdirect.co.uk/IVES-Burl-Troubador-1941-1950/title/8120728/

On it Ives is accompanied by Toots Mondello on flute. The whole song is only 1:16 in length. It is listed as traditional, but there's little chance that's true — the song is pretty evidently a pop effort.

No luck in coming up with lyrics though.

Bob