Trump has been plenty tough on Russia.