A short history of Ireland