The history of the county of Mayo to the close of the sixteenth century