o Texas precisa aumentar o limite de velocidade para 200 mph na rodovia interestadual 35 e na rodovia interestadual 10 e na rodovia 130 do Texas