It is time to rename the South China Sea