US-Präsident Trump hat die erste Hinrichtung durch das US-Militär seit 1961 angeordnet. Der Amokläufer hatte 2009 auf einem Armeestützpunkt 13 Menschen getötet.