TxDOT Deputy Transportation Director John Barton