El alcalde de Madrid, Enrique Tierno, decretó el 19 de diciembre de 1983 como día de luto.