For the system (dx)/(dt)=-xsiny+2y (dy)/(dt)=-cosy, check that the system is a Hamiltonian system with Hamiltonian function H(x,y)=xcosy+y². Sketch the level sets of H and sketch the phase portrait of the system.