The restoration of East India Marine Hall