operatic character in the opera Hamlet by Ambroise Thomas; king of Denmark, brother of the late king Hamlet