Workmen performing repairs to the exterior dry moat wall.