The tomb of Christopher Columbus in the cathedral of Seville, Spain