Updated for new king. See also http://en.wikipedia.org/wiki/Public_holidays_in_the_Netherlands