Definitorio of the Province of San Diego.