Kung Luis af Portugal död.