Mare Orientale, Gerard ter Horst