Sleep cycle of a fin whale based on reprocessing of old satellite observations