Should the Vikings trade for Trey Lance?