“Divertida Mente 2” bate recorde de animação com maior público no Brasil