Roche de Boeuf (Ohio)--Manuscript maps.