Carnaval, first released in 1980 on MCA Records.