October Bank Holiday 2023: Date, History, Activities, Facts about banking in Ireland