List of Mario references in third-party video games