Magma is molten rock under a planet's surface. Lava is molten rock that comes up through a volcano. Is there a technical/specific name for molten rock that originated on the surface, like a planet that hasn't cooled or the rock that melts from an asteroid impact?