Petar Zrinski, the Croatian Ban from the Zrinski family, is executed.