General Milley is leaving the military.