La Herradura et Marina del Este: sources du guide de plongée