Salvator Mundi (Savior of the World) is one of fewer than 20 known paintings by da Vinci. Credit CHRISTIE’S