Approximately 90,000 uniformed military and police personnel and 22,000 civilian personnel have been deployed.
Se han desplegado alrededor de 90.000 efectivos militares y de policía uniformados y 22.000 civiles.