History of the Oil Industry in the Gulf and the People Who Made it Happen, 1934-1966