Can anyone tell me if Rennaisance's "Ocean Gypsy" is a version of a mermaid song? I've always loved the tune, but have been puzzled as to it's source.