The New International Encyclopædia/Columbus, Diego (son)

