The trip of Santa Claus ‒ around the world on Christmas night