That would amount to between 13,000 and 14,000 troops and police removed from their nine operations around the world.