The Red Sea Shanty is a pastiche of rewritings of the Wellerman, and What will We do with the Drunken Sailor*, and ... can someone identify the other song?
I think the medley would be better without the "What will we do with the middle Matzoh?" bit.