https://www.der-mond.de/mondkarte/formation/mondkrater/eudoxus/