The Netherlands, Amsterdam, Marineterrein, Oosterdok