this crater appears labelled as troy in some old maps