Implement MaxPQ