König Pedro IV von Portugal: Der Freiheitskönig