Gassendi and Mare Humorum, James Cook