Oil discovery in the US peaked in the 1930s; oil production peaked roughly forty years later