What is the old Irish meaning of the name of the county where Hugh Hamilton was born?