La Herradura and Marina del Este: fuentes de la guía de buceo