Storm surges in the Singapore Strait due to winds in the South China Sea