fun facts about ireland 2023