It is Washington Irving, not the Gershwins, who is responsible for the "Columbus set out to prove the world was round" myth.