The State payroll in Costa Rica grew by almost 100,000 between 2005 and 2021, going from 223,880 people to 323,230. In percentage terms, the growth was 44%. However, there is a great difference between autonomous institutions and the Central Government. Hand in hand with the increase in the payroll, the cost of salaries grew 100%, but not only due to the number of people, but also due to the amount of salaries.
But no "official army"....the police are supposed to leap into action.
https://qcostarica.com/state-payroll-increased-by-100000-people-in-15-years/