If Josh Rosen is traded, when will it happen?