There's that naval base in Gibraltar, USN and Royal Navy would dock there and everyone would go on leave to that little town. One time, fisticuffs broke out. I vaguely know a man who served in the Royal Navy and in the Royal Army, I"m not sure of the correct terms. But he served in Norn Ireland as well during the troubles and told me a few things that went on though none of it was really direct confrontation with the IRA; general things.