What would someone rename The total tragedy of a girl named hamlet?