This is obviously not one of 'my' Pintos since there appears to have been an inheritance, but incase someone here is investigating Da Costa, Pinto of De Jong: I accidentally stumbled on this advert concerning those names