The coalescent of a sample from a binary branching process.