After months of being called nicknames, the Columbus Zoo and Aquarium has announced that the baby elephant born in October has been officially named.