Willemsoord: van marinewerf tot stadsdeel