A brief explanation that the official name of the country commonly called Holland is the Netherlands, and that these terms are not synonymous.

This is an ingested summary. Full reporting is available at the primary source below.