does any one remember when the british navy was stationed in Tompkins corner