Should the Cardinals explore a David Johnson trade?