John Livermore — American geologist (1918-2013)