Donna Luisa de Guzman , enka efter Johan IV af Braganza , konung af Portugal , var enligt riketslagar