Lava ponds