thus in after days , what by the voyages of ships , what by lore and star-craft , the kings of men knew that the world was indeed made round , and yet the eldar were permitted still to depart and to come to the ancient west and to avallone , if they would .