Mare Nectaris, with Theophilus and Cirillus, Karlov