Girvin, Pecos County, Texas, United States