获2023年奥斯卡最佳动画短片奖的影片《男孩鼹鼠、狐狸和马》