Pine, William, fl. 17th century.