The IRA was armed in part by Libya which was absolutely a hostile state in the UK’s eyes at the time. They almost killed Margaret Thatcher. They had many operatives in Great Britain, I don’t see how the Irish Sea significantly changes things considering there is a massive wall between Gaza and Israel that is easier to defend than thousands of miles of coastline.