Leafcutter ants in Boca Tapada, Costa Rica