Syria war: US ground troops kill 'leading IS member'