Tarifa, Cádiz y el Estrecho de Gibraltar: fuentes de la guía de buceo