Premise: Fabio Ochoa Vásquez (born May 2, 1957) is a former leading member of the Medellín cocaine trafficking cartel, along with his older brothers Juan David and Jorge Luis. His role briefly made him a billionaire. After serving a brief prison term in Colombia, he was arrested and extradited to the US in 1999 and is serving a 30 year term in US federal prison.
Hypothesis: He served the entire 30 years.