Did Christopher Columbus have a middle name?

Christopher Columbus was born in Italy in 1451. Christopher Columbus was not given a middle name by his parents.