Horton's nonhamiltonian bicubic graph