what is the official name of the country sometimes known as holland