Desde los años 1980 el promedio de personal militar se encontraba cerca de los 13 500 efectivos.