Records from the U.S. Bureau of Prisons show that Fabio Ochoa-Vasquez was released Tuesday after completing 25 years of a 30-year prison sentence.