Paul Junction, McCulloch County, Texas, United States