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