Instituído três dias de luto oficial.