File:Super Mario movie premiere 2023 Charlie Day.jpg