Ole Rømer, portrait by Jacob Coning from c. 1700