Agosto, High Judge

When Agosto, High Judge enters the battlefield, choose one:
- Search your library for a legendary creature card, put it into your hand, then shuffle your library.
- Destroy target legendary creature. It can't be regenerated.