The tragedy of Hamlet, prince of Denmark