Little wonder he subsequently named it Porto Santo (Holy Port).
He was subsequently named Porto Santo or in other words, the Holy Port.