There is no rule for naming craters.