U.S. carrier group patrols in tense South China Sea