Ich glaube der Name Doncarlo wird im Spiel selbst nie erwähnt. Aber es ist der interne Name für den Vater, das stimmt. Ich denke mal Doncarlo kommt von Don Miguel oder so.