Didn’t know we had royalty in Ireland.
Not in the modern-day Republic, no, but in old Ireland yes. And Carrickfergus is in the North, i.e., the U.K.
Only Northern Ireland.