Artists' Pigments c. 1600-1835: A Study in English Documentary Sources