Salvator Mundi, l'asta dei record fra principi arabi finisce con un "baratto"