What is another name for the Castle of the Netherlands?

The Castle of the Netherlands is also known as the Muiderslot Castle.