Not releasing the Mario Movie on Mario Day (Mar 10) is disappointing