The EXTERNAL_ID element is the public identifier of the DTD.
<EXTERNAL_ID>-//W3C//DTD HTML 4.01//EN</EXTERNAL_ID>