Så dog konung Carl XV.