Mitchell Hall was dedicated in honor of Mitchell in 1959 .
Mitchell Hall is the cadet dining facility at the United States Air Force Academy .
Mitchell Hall , the cadet dining facility at the United States Air Force Academy , was dedicated in honor of Mitchell in 1959 .