Ahh, yes, I think that is. The procession plays the island twice, because it doesn't need to know where it is to do that. However, when it goes to trash the island, it can't find it. Even though it couldn't trash the island, it still executes the rest of the card, and so gains a card costing 5. The procession can't find the island because it lost track of it when it was set aside.