A short history of the kingdom of Ireland from the earliest times to the union with Great Britain