La batalla de Gibraltar, cómo se ganó, cómo se perdió. - Barredo Risco, Eduardo (Boletín de la Real Sociedad Geográfica, 2020)