afspärrat Gibraltar med en militärkordong.