Willem Prins van Oranje Willem III, Koning der Nederlanden Ontwerp-oorkonde inzake naamgeving van de Koning Willem III- kazerne Het 25-jarig regeringsjubileum van Koning Willem III op 12 mei 1874