US warships reported in the South China Sea