dwayne the rock johnson as mario wearing mario hat