File:Vampire Mickey Mouse and Devil Donald Duck characters, Halloween Time 2017 at Disneyland Resort