Un petrolero entrando en la bahía de Algeciras, Gibraltar