Efforts to restore Christopher Columbus’s legacy have been hard, but progress has been made, culminating in Trump’s recent ...