Tycho crater, Mario Lauriano