Disney tried to trademark ‘Day of the Dead.’ They make up for it with Pixar’s ‘Coco’