Table:
text: United States House of Representatives elections, 1984
Texas
Texas
District Incumbent Party First_elected Result_ Candidates
Texas 9 Jack Brooks Democratic 1952 Re-elected Jack Brooks (D) 58.8% Jim Mahan (R) 41.2%
Texas 10 J. J. Pickle Democratic 1963 Re-elected J. J. Pickle (D) Unopposed
Texas 11 Marvin Leath Democratic 1978 Re-elected Marvin Leath (D) Unopposed
Texas 12 Jim Wright Democratic 1954 Re-elected Jim Wright (D) Unopposed
Texas 13 Jack Hightower Democratic 1974 Lost re-election Republican gain Beau Boulter (R) 53.0% Jack Hightower (D) 47.0%
Texas 15 Kika de la Garza Democratic 1964 Re-elected Kika de la Garza (D) Unopposed
Texas 16 Ronald D. Coleman Democratic 1982 Re-elected Ronald D. Coleman (D) 57.4% Jack Hammond (R) 42.6%
Texas 17 Charles Stenholm Democratic 1978 Re-elected Charles Stenholm (D) Unopposed

Question: In the 1984 United States House of Representatives election, what district is incumbent Jack Hightower of Texas from?