Propuesta de estrategia para el manejo de especies introducidas en la isla del coco, Costa Rica, incluyendo un plan general para la erradicación de seis especies de mamíferos