Red-Robed Paladin

Flash
When Red-Robed Paladin enters the battlefield, destroy target creature.
If Red-Robed Paladin would be put into your graveyard from anywhere, reveal
Red-Robed Paladin and shuffle it into its owner's library instead.
Miracle {1}{b}