20170219 world.us: US carrier group patrols in tense South China Sea