I onsdags var den egentliga Columbusdagen,