Charnock, John, active 18th century, author of 'Biographia Navalis'