I'm very dubious about the name Carmen Navvario. Carmen is a common Spanish name and Navarre or Navarro are common family names relating to the Basque kingdom of Navarre in Northern Spain. Names ending in rio are fairly common too, but the double-v in the middle of a name is virtually impossible to find in Spain. "Carmen Navarro" is my guess for her actual name although Navarrio and Navarria do also exist.