Thada Adel, Acquisitor

Islandwalker
Whenever Thada Adel, Acquisitor deals
combat damage to a player, search that
player's library for an artifact card and exile
it. Then that player shuffles his or her library. Until end of turn, you may play that card.