Carndonagh Community School vs Scoil Chríost Rí, Portlaoise