I now see that my previous post was a bit garbled. I meant to say that the text attached to the music in the DT has the usual words, not the "brave sailors" ones that are in the separate text,