he wrote the lyrics of the portuguese national anthem with music by alfredo keil