What to do about Columbus?