Si con "no se le conoce traducción alguna" te refieres a que no tiene nombre equivalente en español (como Kepa=Pedro, Mikel=Miguel, Julen=Julián), la frase es correcta, porque significado sí que tiene. Significa: "lago entre las vertientes de los Pirineos", o eso fue lo que me dijeron mis padres cuando me lo pusieron.
Otra cosa, sin querer polemizar demasiado: la palabra no sé si será vascongada o no, pero desde luego, no conozco ningún Ibón (ninguna persona, me refiero...) que no sea vasco.

Y dale la cabra al monte!

Ibón es aragones; Ibon vasco.

Uno lleva tilde y el otro no, la diferencia es simple.

Ah! espero que mis comentarios no vuelvan a desaparecer que todo el mundo tiene derecho a escribir y si pasa los pondre todas las veces que haga falta , quitando los comentarios no ocultais la verdad.