Leonardo’s “Salvator Mundi” Makes Auction History