Input (grade 6): Del Rio is a border city in and the county seat of Val Verde County, Texas, United States..
Output (grade 6): Del Rio is a border city in and the county seat of Val Verde County, Texas, United States.