Tycho crater, Copernicus crater diameter