The article on the lake itself [1] seems to paint a different picture - contradictory evidence and a lack of certainty.

While the recent 2017 study cites core samples, earlier studies suggested that sediments were not a part of the lake formation. I don't think there's enough detail in the Wikipedia articles to really shed light on this. Every study seems to reach different conclusions.

[1] https://en.wikipedia.org/wiki/Lake_Cheko

---

Edit: You nerd-sniped me. Here's a meteor that produced an earth-grazing fireball over Utah and exited back into space:

https://en.wikipedia.org/wiki/1972_Great_Daylight_Fireball

I gotta get back to work...