What happened when a rock fall into lava