Artigo 1880-07-17 Edição 1020ExércitoBanda militarDomingo, tocou das seis ás 8 horas da tarde, no largo 9 de julho, a banda do 17 de infantaria.