History of Ocracoke Inlet and the adjacent areas