You can be sure that it was not when he discovered America, but when he was discovering it, that Columbus felt happy.