A pool that is filled with lava