In many American public schools, elementary students learn the names of Christopher Columbus’s ships without learning…