Val Verde County, Texas
Castle Canyon, Texas
initial version