How big is the DMZ? - Washington Post