Hallo,
der Begriff "Insel Pinos" beim Verbreitungsgebiet ist etwas irritierend, da unüblich. Es handelt sich wohl um die Isla de la Juventud (dt. „Insel der Jugend“; bis 1978 Isla de Pinos, dt. „Kieferninsel“), zu der auch ein Wikipediaeintrag existiert.
Viele Grüße Henri iv (Diskussion) 15:43, 8. Apr. 2015 (CEST)