Jarvan, the shattered

Trample
Whenever Jarvan, the shattered attacks, legendary creatures you control gain indestructible and trample until end of turn
Whenever a cosmic creature is put into a graveyard from anywhere, shuffle it into
your library