Does anyone know the lyrics to and origins of "Down in the Diving Bell" whose chorus is something like?:

Down in the diving bell at the bottom of the sea
There is a pretty place the fisherman love to see
Down in the diving bell at the bottom of the sea
There once was a mermaid, a pretty little mermaid, that came courting me.