Happy Columbus Day to all who are celebrating the occasion, which seems to be a smaller group every year. I saw an interesting suggestion over the weekend for how to make this controversial holiday an occasion more people could support by rebooting it as "explorer's day." I think that would be a good idea because it might help reinvigorate the idea of exploring space, since it seems obvious that this is vital to the long-term survival of humanity.