António José P. a António José R. See original record