El Departamento de Guerra expresó su agradecimiento a Randy George por "décadas del servicio" a la nación.