Critiques de Juan de nova, l'île de corail