Selon les sources officielles, un accord a été conclu entre les deux parties pour mettre fin au conflit.
D'après les sources officielles, il a été convenu entre les deux parties de résoudre le différend en concluant un accord.