Simple three-dimensional Ising model with finite entropy at zero temperature

I show rigorously that an antiferromagnetic Ising model (with only nearest-neighbor interactions) on a ${\mathrm{Cu}}_3$Au lattice with spins at the gold sites removed possesses finite entropy at zero temperature. I furthermore propose that an ordered phase exists and that the zero-point fluctuation does not destroy this order.