In July 2013 , the Houston Astros traded Vásquez and a player to be named later ( José Veras ) to the Tigers for David Paulino .
In July 2013 , the Houston Astros Vásquez and a later player ( José Veras ) traded the tigers for David Paulino .