ブラジル軍
ちなみにその際の武装解除を担当したのは、他でもない前述のブラジル軍部隊であったというエピソードが残っている。