If Mayor John Hamilton had the courage of his convictions he would cancel the Columbus Day and Good Friday holidays instead of renaming them. Since he didn't, this is just hypocritical virtue signaling.