Where in Hamlet does the text mention Claudius's name?

Nobody actually mentions Claudius' name. It is written in the stage-directions (Enter King Claudius) and in some versions (I don't know whether the original bears this) it says "King Claudius" in front of his lines.