Did Christopher Columbus's pets have names?