Text this: Notes on the Origin of Jorge Luis Borges’ Bartolomé de Las Casas