Portugal bateu no domingo recordes de temperatura máxima num mês de outubro em várias localidades