Han med Columbus plöjde Oceanen.