Eisenhower Executive Office Building exterior painting

If a listed news source confirms, after Issuance and before Jan 1, 2027, that the exterior of the Eisenhower Executive Office Building was painted during that period, then the market resolves to Yes.