Durante diez días ondearán a media asta las banderas en todos los edificios públicos y buques de la Armada