That's interesting! My personal folk-etymological conjecture had long been that "val" had had a proto-germanic sense of "big", leading to to other modern words like Walroß or Walfisch.

Your comment sent me on a brief etymological excursion and the words sadly are indeed utterly unrelated.