Lava lake in Halemaʻumaʻu at a relatively high level