I have this in a BBC childrens program songbook, from the early 1960's, where it also says it was a traditional Spanish song (as we already know). Not sure when it was first translated to Engish though.