China | US carrier group patrols in tense South China Sea