In consequence of this mistake of Columbus, the name of the Indies has stuck to those unfortunate countries ever since; and when it was at last clearly discovered that the new were altogether different from the old Indies, the former were called the West, in contradistinction to the latter, which were called the East Indies.
