El papel del Campo de Gibraltar en la Guerra Civil