Wrong, sir. There is, in fact, another water level other than Dire Dire Docks in Super Mario 64 that goes by the name of Jolly Roger Bay. It's on the right side in the very front of the lobby in the castle.
Also, Banjo-Tooie has Jolly Roger Lagoon rather than Jolly Roger Bay.