https://www.openstreetmap.org/relation/3263728#map=13/34.6212/32.9993 - is it actually a separate country? I would expect it to be tagged as a part of UK, with admin_level not equalling to 2 (but with UK border marked here).