20170712 world.china: China to downsize army to under a million in biggest troop cut