— Konung Ludvig af Portugal död.