Registo de óbito n.º 1142: António José Lopes. See original record