The first Marvel animated film released by Disney’s animation studio, “Big Hero …