Tidligere i maj meddelte USA's præsident, at han ville trække flere end 5.000 soldater hjem fra Tyskland.