Before public lands could be sold under the Land Ordinance of 1785, the land had to be