Este nombre se convirtió en oficial el 30 de enero de 1466 por iniciativa del rey Pedro de Portugal en agradecimiento del fin de una epidemia de peste en la ciudad.