Así, durante toda la jornada de hoy la bandera nacional deberá ondear a media asta en todos los edificios públicos y buques de la Armada, según consta en el texto del real decreto firmado el jueves por el Rey Felipe VI y por el presidente del Gobierno, Mariano Rajoy.