the castilian name has been historically the official one