Did the Cardinals have to trade Tyler Greene?