Barbatos, Lupus Rex

Menace, trample
Whenever Barbatos, Lupus Rex attacks, you may choose two of the following effects:
• Destroy target artifact an opponent controls.
• Deal 3 damage to target creature an opponent controls.
• Discard a card, then draw a card.
{bull} Barbatos, Lupus Rex gains double strike until end of turn.