A finiteness theorem for elliptic Calabi-Yau threefolds

We prove that up to birational equivalence, there exists only a finite number of families of Calabi-Yau threefolds (i.e. a threefold with trivial canonical class and factorial terminal singularities) which have an elliptic fibration to a rational surface. This strengthens a result of B. Hunt that there are only a finite number of possible Euler characteristics for such threefolds.