Hawaii’s only alpine lake shrinking, almost gone