Evaluating lava flow propagation models with a case study from the 2018 eruption of Kīlauea Volcano, Hawai'i (Q268892)