List of Mario references in third party video games