Cauchy Identity via RSK