Musk said the second boring machine will be "Line-Storm.