Porto Seguro

All cards in the Haven stay there even if they cease to be creatures. When the Haven is sacrificed, the cards come back onto the battlefield whether or not they are creatures.

Auras on creatures are put into the graveyard and counters on creatures are removed when the creatures are sent to the Haven.

Creatures return to the battlefield simultaneously.

Creatures return to the control of their owners, regardless of who controls the Haven when it is sacrificed.

If changed to another land type, the creature cards are not lost but can’t be released until the land reverts to normal.

Token creatures cease to exist when they leave the battlefield, so this effect just exiles them with no chance to bring them back like you can with cards.

When creatures return to the battlefield, they are put onto the battlefield as if just cast. Creatures with X in the mana cost are treated as X is zero. Creatures which can pay costs when put onto the battlefield to determine abilities must have those costs paid at this time.

When the creature leaves the battlefield any damage or “will be destroyed at some future time” effects are removed from the creature.