state of Texas and the Department of Public Safety