why is county derry mentioned in the infobox before it was called county londonderry it was county coleraine so where did county derry come from