Carbon Dioxide Tucked into Basalt Converts to Rock