Records request to the Texas Department of Public Safety seeking communications with Customs and Border Protection union head Brandon Judd.