Las banderas de todos los organismos oficiales ondearán a media asta hasta el jueves 25 de mayo.