German warship heads for South China Sea for first time in two decades amid tension with Beijing – CNN