Thank you both again for your help in identifying the song, and for providing scans from Singing Together and Music in Our Country. I wound up getting a teacher's edition of the Music in Our Country book, which has a slightly different musical notation (in the index, it also has the song classified under "Jokes and Nonsense," for what that's worth...). I've uploaded images of the music here, in case they'd be of any interest or use: https://drive.google.com/drive/u/0/folders/16ADHWgfNDPSIkeR0ptDC8f1Lq3DdzIwT

I've put a little effort into trying to figure out who Margaret Marks was; she is listed as a translator in the book "Echoes of Africa in Folk Songs of the Americas" (1961), in which Viva Panama also appears, again with a slightly different musical notation (and only two verses). The book appears to be available in its entirety online; here's a link to the page with the song: https://digitalcollections.nypl.org/items/48cb0b70-7cf9-0134-f0dd-00505686a51c?canvasIndex=138

My father said he remembers learning the song "when JFK was president" - I'll have to see if any of the other songs from the book spark any memories!

Thanks again!