Hallmark Named Columbus High School Principal