List of Mario references in theater