Volcanism in Hawaii (papers to commemorate the 75th anniversary of the founding of the Hawaiian Volcano Observatory)