Tarifa, Cádis e o Estreito de Gibraltar: fontes do guia de mergulho