¿De qué país es la bandera que ondea sobre las islas Azores?