History of the City of Dublin by Sir John Thomas Gilbert