John Charnock, History of Marine Architecture (1801)