John Hall's grass house after the lava came upon it