Removing the Largest Element in Priority Queue C++: Example