Washington Monument reopening after repairs