List of Mario references in music