Costa Ricas folkhär räknar 3,500 å 4,000man