Washburn, Texas is located 20 miles east of a city that had a population of how many in 2016 ?