Harvey, John, fl. 17th century.