Val Verde County, Texas
Del Rio, Texas
initial version