Trump approves cutting 9,500 troops in Germany: Pentagon