Shakespeare's tragedy of Hamlet, prince of Denmark