the rock as mario wearing mario costume, in jumanji