`<area>` with `coords` attribute should be an error when `shape` attribute with `default` value is present

For example, given this HTML:

<map name="foo"><area shape="default" coords></map>

HTML-Validate does not consider it an error but should do so as per the spec:

In the default state state, area elements must not have a coords attribute. (The area is the whole image.)