1940s disney film about super mario and sonic the hedgehog