Congressman Jack Brooks, 1922-2012