Indonesia boosts military in South China Sea