Texas Department of Transportation — governmental agency in Texas, United States