What a pity, when Christopher Columbus discovered America, that he ever mentioned it.