António Augusto da Fonseca Vilela See original record