Naam grootste zeesluis ter wereld wordt: Zeesluis IJmuiden