Top NATO Official Says 5,000 US Troops to Leave Europe