now Portsmouth County