Figures from this source ReportedBox Office Mojo per-area grosses, Japan release from 12 July 2019; BOM snapshot 2 November 2026