chiefly petroglyph, Hawaiian lava tube