CNBC: From ‘Super Mario’ to ‘The Little Mermaid’: The 10 highest-grossing movies of the first half of 2023