no military in Costa Rica