Wat is een andere naam voor het Kasteel van Nederland?

Het Kasteel van Nederland wordt ook wel Kasteel Muiderslot genoemd.