Trump reduces number of U.S. soldiers in Europe