Original: Del Rio is a border city in and the county seat of Val Verde County, Texas, United States..
Simplified: Del Rio is a border city in and the county seat of Val Verde County, Texas, United States.