Thomas, Thomasina, fl. 17th century.