H. M. the King's Birthday to be observed as a public holiday instead of that of Her late Majesty Queen Victoria