Cutting Off Ears, Executions, Christopher Columbus