Why in English do we refer to some historical figures by their birth names (Leonardo da Vinci), and others by their names translated into English (Christopher Columbus)?