BANGOR, Maine (Reuters) – President Donald Trump has ordered the Pentagon to cut the number of U.S. troops stationed in Germany, a senior U.S. official said on Friday.

The move would reduce the U.S. troop presence in Germany by 9,500 troops from the 34,500 troops that are currently permanently assigned there, the official said.