il Texas deve aumentare il limite di velocità a 200 mph sull'autostrada interstatale 35 e sull'autostrada interstatale 10 e sulla highway 130 del Texas