Our man Jack: Rep. Jack Brooks, 1922-2012