Should you trade the No.1 overall pick in a trade for Lamar Jackson?