Question: What Dutchman was born in 1585 and had a lunar crater Jansen named after him?
Sentence (from "Cajal (crater)"): Cajal was formerly designated Jansen F, prior to renaming by the IAU.
Relevant evidence: No