China quietly doubles troops in Hong Kong, envoys say