Domingo da uma ás tres horas da tarde, tocou ao largo nove de julho, a banda de infantaria 17.