Título: Bahía de Gibraltar. S. XVIII.

Fuente: Ministerio de Educación, Cultura y Deporte. Archivo Histórico Nacional. ESTADO, MPD. 172.