The abolition of the army in Costa Rica