Gertrude told the king that Hamlet wept for killing Polonius did he cry?

Gertrude did not tell the King that Hamlet wept for killing Polonius. It was Claudius that tells Gertrude that Hamlet wept.