La bandera nacional fue izada a media asta, y los empleados civiles y militares llevaron luto por cinco días tras su fallecimiento.